$\forall$$P$:$\mathbb{P}$. Stable\{$P$\} $\Rightarrow$ SqStable($P$)